1.2.7.3. alpha.security.MallocOverflow (C)
Check for overflows in the arguments to malloc().

Examples:

void test(int n) {
  void *p = malloc(n * sizeof(int)); // warn
}